منابع مشابه
Modal Logic in Two Gestalts
We develop a translation-based view dual of modal logic as the study of intensional languages that are at the same time interesting expressive and decidable parts of standard logical systems. This tandem approach improves our understanding of modal logic – while at the same time, it extends the range of modal notions and techniques into broader areas of standard logic. 1 Translation as a Way of...
متن کاملModal Logic and the two - variable
We introduce a modal language L which is obtained from standard modal logic by adding the diierence operator and modal operators interpreted by boolean combinations and the converse of accessibility relations. It is proved that L has the same expressive power as the two-variable fragment F O 2 of rst-order logic but speaks less succinctly about relational structures: if the number of relations ...
متن کاملModal Logic and the Two-Variable Fragment
We introduce a modal language L which is obtained from standard modal logic by adding the Boolean operators on accessibility relations, the identity relation, and the converse of relations. It is proved that L has the same expressive power as the two-variable fragment FO of first-order logic, but speaks less succinctly about relational structures: if the number of relations is bounded, then L-s...
متن کاملModal Logic, Autumn 2007 FIrst Steps in Modal Logic
Modal logic is sometimes characterized as the logic of necessity and possibility, of “must be” and “may be”. The aim of this book is to present both semantical and syntactical features of the subject and to illustrate gy detailed analysis of the three most popular modal systems S5,S4 and K. The text presupposes some knowledge of classical logic, although the necessary information is briefly rec...
متن کاملInterpolation in Modal Logic
The interpolation property and Robinson's consistency property are important tools for applying logic to software engineering. We provide a uniform technique for proving the Interpolation Property, using the notion of bisimulation. For modal logics, this leads to simple, easy{ to{check conditions on the logic which imply interpolation. We apply this result to bering of modal logics and to modal...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Proceedings in Theoretical Computer Science
سال: 2014
ISSN: 2075-2180
DOI: 10.4204/eptcs.146.0.2